Predicate abstraction - PDFSEARCH.IO - Document Search Engine

Predicate abstraction
Results: 88

#	Item
51	Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction? Rajeev Alur1 , Thao Dang2 , and Franjo Ivancic1 1 University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu - Date: 2006-06-22 11:47:17
52	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
53	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
54	JOURNAL OF INFORMATION ARCHITECTURE \| VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona Add to Reading List Source URL: journalofia.org Language: English - Date: 2011-01-31 09:25:41 Knowledge representation Abstraction Predicate logic Model theory Library classification Hierarchy Function Predicate Property Mathematical logic Logic Mathematics
55	Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It Add to Reading List Source URL: www.cprover.org Language: English - Date: 2014-06-22 11:48:59 Model checking Thread Monotonic function Abstraction Mathematical analysis Concurrent computing Computing
56	ORM 2 Constraint Verbalization: Part 1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2006-07-30 13:54:40 Data modeling Programming paradigms Abstraction Object-Role Modeling Predicate Modal logic Norm Finitary relation Logic Mathematical logic Mathematics
57	Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers ETH Zurich, Switzerland Add to Reading List Source URL: stefanheule.com Language: English - Date: 2014-09-10 01:53:47 Formal methods Functions and mappings Predicate logic Abstraction Predicate Function Anamorphism Satisfiability Modulo Theories Predicate transformer semantics Mathematics Mathematical logic Logic
58	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
59	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:02:10 Mathematics Logic in computer science Maude system Computability theory Abstraction Rewriting Predicate Philosophy Normal form Theoretical computer science Formal languages Programming language theory
60	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic